| 翻訳と辞書 |
| simplicial set ： ウィキペディア英語版 |
simplicial set
In mathematics, a simplicial set is a construction in categorical homotopy theory that is a purely algebraic model of the notion of a "well-behaved" topological space. Historically, this model arose from earlier work in combinatorial topology and in particular from the notion of simplicial complexes. Simplicial sets are used to define quasi-categories, a basic notion of higher category theory.
==Motivation==
A simplicial set is a categorical (that is, purely algebraic) model capturing those topological spaces that can be built up (or faithfully represented up to homotopy) from simplices and their incidence relations. This is similar to the approach of CW complexes to modeling topological spaces, with the crucial difference that simplicial sets are purely algebraic and do not carry any actual topology (this will become clear in the formal definition).
To get back to actual topological spaces, there is a ''geometric realization'' functor which turns simplicial sets into compactly generated Hausdorff spaces. Most classical results on CW complexes in homotopy theory have analogous versions for simplicial sets which generalize these results. While algebraic topologists largely continue to prefer CW complexes, there is a growing contingent of researchers interested in using simplicial sets for applications in algebraic geometry where CW complexes do not naturally exist.
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「simplicial set」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|